Modeling and formal verification of smart environments
نویسندگان
چکیده
منابع مشابه
Modeling and formal verification of smart environments
Smart Environments (SmE) are a growing combination of various computing frameworks (ubiquitous, pervasive etc), devices, control algorithms and a complex web of interactions. It is at the core of user facilitation in a number of industrial, domestic and public areas. Based on their application areas, SmE may be critical in terms of correctness, reliability, safety, security etc. To achieve erro...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملDesign-time formal verification for smart environments: an exploratory perspective
Smart Environments (SmE) are richly integrated with multiple heterogeneous devices; they perform the operations in intelligent manner by considering the context and actions/behaviors of the users. Their major objective is to enable the environment to provide ease and comfort to the users. The reliance on these systems demands consistent behavior. The versatility of devices, user behavior and in...
متن کاملShort Paper: Formal Verification of Smart Contracts
Ethereum is a cryptocurrency framework that uses blockchain technology to provide an open distributed computing platform, called the Ethereum Virtual Machine (EVM). EVM programs are written in bytecode which operates on a simple stack machine. Programmers do not usually write EVM code; instead, they can program in a JavaScript-like language called Solidity that compiles to bytecode. Since the m...
متن کاملPossibilities for Formal Models of Smart Environments
This paper is devoted to a recently running project descript ion with a purpose to get some necessary feedback from the AmI community as to the project ambitions. The project intends to study possibilities of several formal approaches towards modeling intelligent environments based on principles of ambient intelligence. The main goal is in contributing towards theoretical foundations of ambient...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Security and Communication Networks
سال: 2013
ISSN: 1939-0114
DOI: 10.1002/sec.794